

void print_rlimit();
void set_rlimit(long time_limit, long memory_limit);
